_require "../../../../smlnj-lib/Util/binary-map-fn.smi"
_require "./SOrd.smi"

structure SEnv = BinaryMapFn(SOrd)
